Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
نویسندگان
چکیده
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restrictions, role hierarchies, transitively closed roles, and generalized concept inclusions. The ABox description logic system RACE is based on the calculus for ALCNHR+ .
منابع مشابه
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics
This paper presents an evaluation of a new description logic reasoner called RACE which implements TBox and ABox reasoning for the description logic ALCNHR+ supporting number restrictions, role hierarchies, and transitively closed roles. Tests on benchmark ABoxes indicate a speedup of several orders of magnitude compared to previous systems.
متن کاملRACE System Description
RACE [3] is a successor of HAM-ALC [5, 2]. Based on sound and complete algorithms RACE currently implements TBox and ABox reasoning for the description logic ALCNHR+ [4] that supports number restrictions, role hierarchies, and transitively closed roles. Note that this DL implies general concept inclusions as a language feature. RACE accepts TBoxes and ABoxes in the KRSS syntax with appropriate ...
متن کاملPractical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H
This article presents a hybrid Abox tableau calculus for SHQ which extends the basic description logic ALC with role hierarchies, transitive roles, and qualified number restrictions. The prominent feature of our hybrid calculus is that it reduces reasoning about qualified number restrictions to integer linear programming. The calculus decides SHQ Abox consistency w.r.t. a Tbox containing genera...
متن کاملDL-Lite with Attributes and Sub-Roles (Full Version)
We extend the tractable DL-Lite languages by (i) relaxing the restriction on the allowed interaction between cardinality constraints and role inclusions; (ii) extending the languages with attributes. On the one hand, we push the limit on the use of number restrictions over role hierarchies and also show the effect of the presence of the ABox on such constraints. On the other hand, attributes—a ...
متن کاملPreferential Role Restrictions
We extend ALC with preferential role restrictions as concept constructors, and argue that preferential universal restriction represents a defeasible version of standard universal restriction. The resulting DL is more expressive without adding to the complexity of TBox reasoning. We present a tableau system to compute TBox entailment, show that this notion of entailment is not sufficient when ad...
متن کامل